Identifying with Dexter
نویسندگان
چکیده
منابع مشابه
Timesharing Dexter
My husband Neil Immerman returned from the 1986 STOC meeting with an interesting proposition. Juris Hartmanis and Dexter Kozen had a small pocket of funds, and they proposed that the two of us visit the Cornell Computer Science Department for a week. It sounded delightful but we had a complication: our new son, who was all of four months old. We decided to time-share Dexter and split child care...
متن کاملCor triatriatum dexter with imperforate Ebstein's anomaly.
A case of cor triatriatum dexter is described in which the anomalous right atrial partition is identified as the right venous valve; there is an associated anomaly of the right atrioventricular valve which combines features of Ebstein's anomaly, and an atypical, imperforate, tricuspid atresia.
متن کاملNew Dexter
We propose a theoretical device for modeling the creation of new in-discernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented languages and promotes equational reasoning about higher-order state.
متن کاملDexter Kozen: An Appreciation
I have known Dexter for 30 years, which, of course, means that I was 9 when I first met him. At that time, Dexter was already “the man”. Although he was only a few years ahead of me, he had already made his name by independently defining the notion of alternating Turing machines, a deep contribution to complexity theory that made it possible to connect time and space complexity. The results wer...
متن کاملBronchus Cardiacus Accessorius Dexter
The diagnosis of bronchus cardiacus accessorius dexter (BCAD) has occurred in 25 cases during the bronchoscopic investigations of 30,000 adult patients of the authors. In most of the cases, this bronchial anomaly has been revealed as an accessory phenomenon, nevertheless, in one of the patients, it was the source of a considerable hemorrhage. In another case reported here in detail, it occurred...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American, British and Canadian Studies Journal
سال: 2015
ISSN: 1841-964X
DOI: 10.1515/abcsj-2015-0002